Backus-Naur Form

Context-free grammar를 기술하기 위한 메타 언어.

처음에 ALGOL 58 문법을 명시할 용도로 John Backus가 고안하여 “Backus Normal Form”으로 불렸으나, Peter Naur가 ALGOL 60 명세를 기술하며 확장하였고, 이후에 Donald Knuth가 “Backus-Naur Form”으로 부르자고 제안하여 현재 그렇게 불리고 있음.

현대에 널리 쓰이는 형식은 Niklaus Wirth가 BNF를 다시 확장한 EBNF.